101. Computer-aided design of digital systems
پدیدآورنده : Lewin, Douglas
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Computer-aided design ، Electronic digital computers,Data processing ، Logic circuits
رده :
TK
7888
.
3
.
L37
1977
102. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده : G. v. Bochmann, D.K. Probst, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
103. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
پدیدآورنده : Warren A. Hunt, Jr., Fabio Somenzi )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
104. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
پدیدآورنده : Rajeev Alur, Doron A. Peled )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
105. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
پدیدآورنده : Kousha Etessami, Sriram K. Rajamani )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
106. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
پدیدآورنده : Rajeev Alur, Thomas A. Henzinger
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1102
107. Computer circuit analysis: theory and applications
پدیدآورنده : Ilardi, Frank A.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Electronic digital computers- Circuits,، Logic circuits,، Pulse circuits
رده :
TK
7888
.
4
.
I4
108. Computer circuit concepts
پدیدآورنده : / by Saul Ritterman
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computers- Circuits,Circuits,Integrated circuits
رده :
TK7888
.
4
.
R5
1986
109. Computer circuit concepts
پدیدآورنده : Ritterman, Saul A.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Circuits ، Computers
رده :
TK
7888
.
4
.
R58
1986
110. Computer circuit concepts
پدیدآورنده : Ritterman, Saul A.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computers - Circuits
رده :
TK
7888
.
4
.
R58
1986
111. Computer circuit concepts
پدیدآورنده : Saul Ritterman
موضوع : Computers--Circuits
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
112. Computer circuit concepts
پدیدآورنده : Ritterman, Saul A.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Computers - Circuits
رده :
TK
7888
.
4
.
R58
113. Computer circuits and how they work
پدیدآورنده : Wels, Byron
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computers - Circuits
رده :
TK
7885
.
W4
114. Computer circuits & how they work
پدیدآورنده : Wels, Byron G.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Circuits
رده :
TK
7888
.
3
.
W44
1974
115. Computer logic
پدیدآورنده : Rose, Alan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Switching theory,، Electronic digital computers-- Circuits
رده :
QA
401
.
R64
116. Computer logic
پدیدآورنده : ROSE,ALAN
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : SWITCHING THEORY , ELECTRONIC DIGITAL COMPUTERS-CIRCUITS
رده :
QA
401
.
R64
117. Computer logic; a laboratory workbook
پدیدآورنده : Malmstadt, Howard V.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Switching theory,، Electronic digital computers-- Circuits
رده :
QA
401
.
M34
118. Computer logic design
پدیدآورنده : Mano, M. Morris
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic circuits,، Electronic digital computers-- Circuits
رده :
TK
7868
.
S9
.
M275
119. Computer logic design
پدیدآورنده : / M. Morris Mano
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Switching theory,Electronic digital computers - Circuits
رده :
621
.
38
195
35
M285
120. Computer logic :principles and technology
پدیدآورنده : David Hutchison, Peter Silvester
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Electronic digital computers--Circuits,Logic circuits
رده :
TK
،
7888
.
4
،.
H98
،
1987
